Programming complexity - PDFSEARCH.IO - Document Search Engine

Programming complexity
Results: 456

#	Item
361	Complexity of fuzzy answer set programming under Lukasiewicz semantics Marjon Blondeela,1 , Steven Schockaertb , Dirk Vermeira , Martine De Cockc a Vrije Universiteit Brussel, Department of Computer Science, Pleinlaan 2 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2013-10-21 12:32:43 Logic programming Logic in computer science Non-classical logic Structural complexity theory Complexity classes Stable model semantics Answer set programming Fuzzy logic Negation Theoretical computer science Applied mathematics Mathematics
362	October 31, 2007 CURRICULUM VITAE ALAN L. SELMAN Department of Computer Science and Engineering University at Buffalo 201 Bell Hall Add to Reading List Source URL: www.cse.buffalo.edu Language: English - Date: 2007-11-06 15:06:02 Computational complexity theory NP-complete ACM SIGACT Sparse language PH Polynomial hierarchy Computer science FL International Colloquium on Automata Languages and Programming Theoretical computer science Applied mathematics Complexity classes
363	Complexity of fuzzy answer set programming under Lukasiewicz semantics: First results Marjon Blondeel1 ? , Steven Schockaert2 ?? , Martine De Cock2 , and Dirk Vermeir1 1 Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2012-01-17 09:39:13 Logic programming Logic in computer science Non-classical logic Mathematical optimization Stable model semantics Answer set programming Fuzzy logic NP Computational complexity theory Theoretical computer science Applied mathematics Complexity classes
364	Communicating ASP and the Polynomial Hierarchy Kim Bauters1, , Steven Schockaert1, , Dirk Vermeir2 , and Martine De Cock1 1 Department of Applied Mathematics and Computer Science Add to Reading List Source URL: www.cwi.ugent.be Language: English - Date: 2011-07-25 12:41:03 Logic programming Complexity classes Structural complexity theory Boolean algebra Stable model semantics True quantified Boolean formula Answer set programming FO Polynomial hierarchy Theoretical computer science Computational complexity theory Applied mathematics
365	SCHOOL OF COMPUTER SCIENCE STUDY PROGRAM: INFORMATION SYSTEM CURRICULUM INTRODUCTION Information Systems as a field of academic study encompasses the concepts, principles, and Add to Reading List Source URL: www.president.ac.id Language: English - Date: 2014-02-20 19:13:31 Knowledge Computer science education Programming paradigms Information systems Management information system Software development methodology Application software Implementation Complexity Computing Science Information technology management
366	An Introduction to Multi-threaded Debugging Techniques Abstract Although debugging multi-threaded applications can seem daunting, the additional complexity of the testing process is simply a product of the complexity of Add to Reading List Source URL: goparallel.sourceforge.net Language: English - Date: 2013-07-11 09:45:54 Parallel computing Microprocessors Debugging Threads Concurrent computing Microsoft Visual Studio Multithreading Debugger Circular buffer Computing Computer programming Software engineering
367	Graph Homomorphisms with Complex Values: A Complete Dichotomy Theorem Jin-Yi Cai University of Wisconsin, Madison Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2011-07-14 02:22:40 Graph theory NP-complete problems Graph coloring Constraint programming Complexity classes 2-satisfiability Graph homomorphism NP-complete Matching Theoretical computer science Mathematics Computational complexity theory
368	Dichotomy Theorems for Counting Problems Jin-Yi Cai University of Wisconsin, Madison Xi Chen Columbia University Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2011-07-11 20:52:11 Graph theory Computational problems NP-complete problems Constraint programming Graph coloring 2-satisfiability NP-complete Graph homomorphism Constraint satisfaction problem Theoretical computer science Mathematics Computational complexity theory
369	Non-negative Weighted #CSPs: An Effective Complexity Dichotomy Jin-Yi Cai University of Wisconsin, Madison Xi Chen Add to Reading List Source URL: pages.cs.wisc.edu Language: English - Date: 2010-12-31 13:52:31 Differential geometry Differential topology Mathematics Commutative algebra Theorems and definitions in linear algebra Tangent space Constraint programming Constraint satisfaction problem Lemmas
370	Declarative Programming for Modular Robots Michael P. Ashley-Rollman, Michael De Rosa, Siddhartha S. Srinivasa, Padmanabhan Pillai, Seth Copen Goldstein, Jason Campbell Abstract— Because of the timing, complexity, and Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2007-11-01 14:25:39 Predicate logic Logic programming Predicate ACT-R Loadable kernel module Mereology International Space Station Claytronics Spaceflight Logic Mathematical logic